This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lee masThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Lee masThis book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Lee mas